Propositional calculus - PDFSEARCH.IO - Document Search Engine

Propositional calculus
Results: 1046

#	Item
341	How to transform UML neg into a useful construct Ragnhild Kobro Runde1 Øystein Haugen1 Ketil Stølen1,2 1 Department of Informatics, University of Oslo 2 SINTEF ICT {ragnhilk,oysteinh}@iﬁ.uio.no, ketil.stolen@sintef.n Add to Reading List Source URL: www.nik.no Language: English - Date: 2005-12-08 10:05:47 Propositional calculus Mathematics Grammar Negation Semantics FO Negative Logic Mathematical logic Boolean algebra
342	Opinion Deductive reasoning Phil Johnson-Laird∗ This article begins with an account of logic, and of how logicians formulate formal rules of inference for the sentential calculus, which hinges on analogs of negation Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:40:18 Deduction Propositional calculus Logical consequence Logical syntax Inference Mental model Deductive reasoning Natural deduction Entailment Logic Science Reasoning
343	Modelling Abduction in Science by means of a Modal Adaptive Logic Tjerk Gauderis∗ Centre for Logic and Philosophy of Science Ghent University, Blandijnberg 2, 9000 Gent, Belgium [removed] Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-12-06 10:49:17 Philosophical logic Model theory Epistemology Charles Sanders Peirce Abductive reasoning First-order logic Inference Modal logic Propositional calculus Logic Mathematical logic Reasoning
344	How break RSA-1024 ? Asprotect[removed]11c - BETA v3 : DON’T SHARE IT by Amenesia//TKM! Mais le vice n’a point pour m`ere la science, Et la vertu n’est pas fille de l’ignorance. Add to Reading List Source URL: www.secnews.pl Language: English - Date: 2015-02-11 16:53:40 Propositional calculus Electronic commerce Public-key cryptography RSA Primality test Division Prime number Exclusive or Arithmetic Mathematics Abstract algebra Boolean algebra
345	Automatic Solving of Problems stated in Natural Language Tore Amble Knowledge Systems Group Faculty of Electrical Engineering and Computer Science The Norwegian Institute of Technology Add to Reading List Source URL: www.nik.no Language: English - Date: 2002-05-08 04:36:03 Formal systems Model theory Propositional calculus Boolean algebra Modal logic Resolution Common knowledge Axiomatic system Constructible universe Logic Mathematical logic Mathematics
346	Psychologica Belgica 2010, 50-3&4, [removed]Against logical form P.N. Johnson-Laird Princeton University, New Jersey, USA Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:40:33 Propositional calculus Logical consequence Logical syntax Inference Mental model Entailment Proposition Argument Rule of inference Logic Reasoning Deduction
347	Hierarchical Automatic Function Definition in Genetic Programming John R. Koza Computer Science Department Stanford University Add to Reading List Source URL: www.genetic-programming.com Language: English - Date: 2006-11-17 21:17:24 Abstract algebra Functions and mappings Propositional calculus Logic Circuit complexity Parity function Function Boolean data type Parity Mathematics Boolean algebra Mathematical analysis
348	GeoScope: Online Detection of Geo-Correlated Information Trends in Social Networks Ceren Budak Theodore Georgiou Divyakant Agrawal Amr El Abbadi [removed] {teogeorgiou, agrawal, amr}@cs.ucsb.edu Add to Reading List Source URL: www.vldb.org Language: English - Date: 2013-11-07 15:10:21 Buckminster Fuller Geoscope Twitter Estimation theory Propositional calculus Hashtag Linear regression Entailment Logic Information World Wide Web
349	Microsoft Word - LDLT2_Master_print.doc Add to Reading List Source URL: www.hrelp.org Language: English - Date: 2010-11-29 08:43:56 Logic Boolean algebra Negation Propositional calculus Auxiliary verb Logic programming Conceptual model Grammar Linguistics Semantics
350	COGNITION Cognition[removed]–229 Illusory inferences: a novel class of erroneous deductions P.N. Johnson-Laird a ,, Fabien Savary b Add to Reading List Source URL: mentalmodels.princeton.edu Language: English* - Date: 2012-06-14 22:34:08 Propositional calculus Philosophical logic Conditionals Binary operations Mental model Material conditional Inference Natural deduction Argument Logic Science Reasoning

UPDATE